|
|
TC_DS_01 - Scenario sequence messages order check |
|---|---|
| This rule checks that sequence messages are correctly ordered between scenarios from different levels. | |
|
TC_DS_02 - Scenario sequence messages unliked check |
|---|---|
| This rule checks that sequence messages are linked by refinement traceability between scenarios from different levels. | |
|
|
TC_DS_03 - Scenario Realization Check |
|---|---|
| This rule checks that Scenario element is realized by below layer.
Example: If Scenario resides in SystemAnalysis layer. It should be relalized by a Scenario from Logical layer. |
|